101![Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1 Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1](https://www.pdfsearch.io/img/6a3bd545be8e90c73424a89af33fe42d.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
102![July 16, 2018 Andrew Wheeler Acting Administrator U.S. Environmental Protection Agency 1200 Pennsylvania Avenue, NW Washington, DC 20460 July 16, 2018 Andrew Wheeler Acting Administrator U.S. Environmental Protection Agency 1200 Pennsylvania Avenue, NW Washington, DC 20460](https://www.pdfsearch.io/img/0d91cbb3f87f38d94ce0b58a3377c1a7.jpg) | Add to Reading ListSource URL: www.nationalacademies.orgLanguage: English - Date: 2018-07-17 07:57:04
|
---|
103![The Honorable Mitch McConnell Senate Majority Leader 317 Russell Senate Office Building Washington, D.CThe Honorable Paul Ryan The Honorable Mitch McConnell Senate Majority Leader 317 Russell Senate Office Building Washington, D.CThe Honorable Paul Ryan](https://www.pdfsearch.io/img/3888595fa564a2fdc027d120021137b9.jpg) | Add to Reading ListSource URL: www.istandwithpp.orgLanguage: English - Date: 2017-05-11 13:04:24
|
---|
104![MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r](https://www.pdfsearch.io/img/e141ae5bed9191e4ea8ade71ed433b4a.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2012-07-24 02:47:44
|
---|
105![September 4, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C September 4, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C](https://www.pdfsearch.io/img/08472a5ff79dfc41cc0ea1b47e26b48c.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-09-03 13:17:45
|
---|
106![Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak](https://www.pdfsearch.io/img/80c3bef3ba843ffe287e0f0737d9da8f.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
107![Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington](https://www.pdfsearch.io/img/db644d008d53d6769a956ae129d87670.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-24 20:19:39
|
---|
108![](/pdf-icon.png) | Add to Reading ListSource URL: krishna.gs.washington.edu- Date: 2016-10-18 15:56:48
|
---|
109![](/pdf-icon.png) | Add to Reading ListSource URL: jsis.washington.edu- Date: 2018-05-23 15:42:10
|
---|
110![](/pdf-icon.png) | Add to Reading ListSource URL: www.climate.washington.edu- Date: 2015-06-05 14:48:32
|
---|